Publications of
Philippe Besnard, Eric Grégoire, Sébastien Ramon
Overriding subsuming rules
In : International Journal of Approximate Reasoning (IJAR), Elsevier, Vol. 54, pp. 452-466, 2013.
Leila Amgoud, Philippe Besnard
Logical limits of abstract argumentation frameworks
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 23 N. 3, pp. 229-267, September 2013.
Philippe Besnard, Eric Grégoire, Cédric Piette, Badran Raddaoui
Calcul d’arguments et de contre-arguments fondé sur les noyaux inconsistants
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 26, pp. 209-224, 2012.
A Logical Analysis of Rule Inconsistency.
In : International Journal of Semantic Computing, World Scientific, Vol. 5 N. 3, pp. 271-280, 2011.
Philippe Besnard, Anthony Hunter, Stefan Woltran
Encoding deductive argumentation in quantified Boolean formulae.
In : Artificial Intelligence, Elsevier, Vol. 173 N. 15, pp. 1406-1423, 2009.
Philippe Besnard, Sébastien Konieczny, Pierre Marquis
Bipolarity in Bilattice Logics
In : International Journal of Intelligent Systems, Wiley, Special issue Special Issue: Bipolar Representations of Information and Preference. Part 2: Reasoning and Learning, Vol. 23 N. 10, pp. 1046-1061, October 2008.
Remedying inconsistent sets of premises
In : International Journal of Approximate Reasoning (IJAR), Elsevier, Vol. 45 N. 2, pp. 308-320, 2007.
Philippe Besnard, Gisbert Fanselow, Torsten Schaub
Optimality Theory as a Family of Cumulative Logics
In : Journal of Logic, Language, and Information, Kluwer, Vol. 12, pp. 153-182, 2003.
Paraconsistent Reasoning as an Analytical Tool
In : Logic Journal IGPL, Oxford University Press, Vol. 9 N. 2, 2001.
Alain Appriou, Andre Ayoun, Salem Benferhat, Philippe Besnard, Isabelle Bloch, Laurence Cholvy, Roger Cooke, Frédéric Cuppens, Didier Dubois, Hélène Fargier, Michel Grabisch, Anthony Hunter, Rodolf Kruse, Jérôme Lang, Serafin Moral, Henri Prade, Alessandro Saffiotti, Philippe Smets, Claudio Sossai
Fusion: general concepts and characteristics
In : International Journal of Intelligent Systems, Special Issue on Data and Knowledge Fusion (Part I of II), John Wiley&Sons, Inc., Vol. 16 N. 10, pp. 1107-1134, October 2001.
Philippe Besnard, Anthony Hunter
A logic-based theory of deductive arguments
In : Artificial Intelligence, Vol. 128, pp. 203-235, 2001.
Philippe Besnard, Torsten Schaub
What is a (non-constructive) non-monotone logical system?
In : Theoretical Computer Science, Vol. 238, pp. 489-494, 2000.
Philippe Besnard, Torsten Schaub
Signed systems for paraconsistent reasoning
In : Journal of Automated Reasoning, Vol. 20, pp. 191-213, 1998.
Philippe Besnard, Laurence Cholvy, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, François Lévy, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Revision and updating in knowledge bases
In : International Journal of Intelligent Systems, Wiley, Special issue Special Issue on Revision and Upadating in Knowledge bases, Vol. 9 N. 1, pp. 1-182, 1994.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Reasoning under incomplete information in Artificial Intelligence: A comparison of formalisms using a single example
In : International Journal of Intelligent Systems, Wiley, Vol. 5 N. 4, pp. 323-471, 1990.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
raisonnement sur des informations incomplétes en Intellignece Artificielle – Comparaison à partir d’un exemple
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 2, N. 3-4, pp. 9-210, 1989.
Philippe Besnard, Eric Grégoire
Handling Incoming Beliefs (regular paper)
In : International Conference on Knowledge Science, Engineering and Management (KSEM 2013), Dalian, China, 10/08/13-12/08/13, Mingzheng Wang (Eds.), Springer, Lecture Notes in Computer Science 8041, pp. 206-217, August 2013.
Philippe Besnard, Eric Grégoire, Badran Raddaoui
A Conditional Logic-Based Argumentation Framework (regular paper)
In : International Conference on Scalable Uncertainty Management (SUM 2013), Washington, D.C., U.S.A., 16/09/13-18/09/13, Weiru Liu, V. S. Subrahmanian, Jef Wijsen (Eds.), Springer, Lecture Notes in Computer Science 8078, pp. 44-56, September 2013.
Leila Amgoud, Philippe Besnard
A formal characterization of the outcomes of rule-based argumentation systems (regular paper)
In : International Conference on Scalable Uncertainty Management (SUM 2013), Washington, 16/09/13-18/09/13, Springer, pp. 78-91, September 2013.
Philippe Besnard, Eric Grégoire, Badran Raddaoui
An Argumentation Framework for Reasoning about Bounded Resources (regular paper)
In : International Conference on Tools with Artificial Intelligence (ICTAI 2012), Athens, Greece, 07/11/12-09/11/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 540-547, 2012.
Philippe Besnard, Eric Grégoire, Sébastien Ramon
Preemption Operators (short paper)
In : European Conference on Artificial Intelligence (ECAI 2012), Montpellier, France, 27/08/12-31/08/12, Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi (Eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, pp. 893-894, August 2012.
Philippe Besnard, Eric Grégoire, Sébastien Ramon
Logic-based fusion of legal knowledge (regular paper)
In : International Conference on Information Fusion (FUSION 2012), Singapore, 09/07/12-12/07/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 587-592, July 2012.
Philippe Besnard, Eric Grégoire, Sébastien Ramon
Overriding Subsuming Rules. (regular paper)
In : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011), Belfast, UK, 29/06/11-01/07/11, Weiru Liu (Eds.), Springer, Lecture Notes in Computer Science 6717, pp. 532-544, 2011.
Philippe Besnard, Eric Grégoire, Sébastien Ramon
Enforcing Logically Weaker Knowledge in Classical Logic. (regular paper)
In : International Conference on Knowledge Science, Engineering and Management (KSEM 2011), Irvine, CA, USA, 12/12/11-14/12/11, Hui Xiong, W. B. Lee (Eds.), Springer, Lecture Notes in Computer Science 7091, pp. 44-55, 2011.
Leila Amgoud, Philippe Besnard, Srdjan Vesic
Identifying the core of logic-based argumentation systems (short paper)
In : IEEE International Conference on Tools with Artificial Intelligence, Boca Raton, Florida, USA, 07/11/11-09/11/11, Taghi M. Khoshgoftaa, Xingquan Zhu (Eds.), IEEE : Institute of Electrical and Electronics Engineers, pp. 633-636, November 2011.
Absurdity, Contradictions, and Logical Formalisms. (regular paper)
In : International Conference on Tools with Artificial Intelligence (ICTAI 2010), Arras, France, 27/10/10-29/10/10, Vol. 1, IEEE Computer Society, pp. 369-374, 2010.
Philippe Besnard, Eric Grégoire, Cédric Piette, Badran Raddaoui
MUS-based generation of arguments and counter-arguments. (regular paper)
In : IEEE International Conference on Information Reuse and Integration (IRI 2010), Las Vegas, Nevada, USA, 04/08/10-06/08/10, IEEE Systems, Man, and Cybernetics Society, pp. 239-244, 2010.
Leila Amgoud, Philippe Besnard
A formal analysis of logic-based argumentation systems (regular paper)
In : International Conference on Scalable Uncertainty Management (SUM 2010), Toulouse, 01/09/10-02/09/10, Springer-Verlag, pp. 42-55, September 2010.
Philippe Besnard, Eric Grégoire, Sébastien Ramon
A Default Logic Patch for Default Logic. (regular paper)
In : European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Verona, Italy, 01/07/09-03/07/09, Claudio Sossai, Gaetano Chemello (Eds.), Springer, Lecture Notes in Computer Science 5590, pp. 578-589, 2009.
Philippe Besnard, Eric Grégoire
About Agents that Reason by Case (Preliminary Report). (regular paper)
In : IEEE International Conference on Information Reuse and Integration (IRI 2009), Las Vegas, Nevada, USA, 10/08/09-12/08/09, IEEE Systems, Man, and Cybernetics Society, pp. 405-410, 2009.
Leila Amgoud, Philippe Besnard
Bridging the gap between abstract argumentation systems and logic
In : International Conference on Scalable Uncertainty Management (SUM 2009), Washington DC, USA, 28/09/09-30/09/09, Lluis Godo, Andrea Pugliese (Eds.), Springer, pp. 12-27, September 2009.
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Deriving Explanations from Causal Information
In : European Conference on Artificial Intelligence (ECAI 2008), Patras, Greece, 21/07/08-25/07/08, M. Ghallab, C. D. Spyropoulos, N. Fakotakis, N. Avouris (Eds.), IOS Press, pp. 44-45, July 2008.
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Ontology-Based Inference for Causal Explanation
In : International Conference on Knowledge Science, Engineering and Management (KSEM 2007), Melbourne, 26/11/07-30/11/07, Springer-Verlag, pp. 153-164, November 2007.
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Configurations for Inference Between Causal Statements
In : International Conference on Knowledge Science, Engineering and Management (KSEM 2006), Guilin, China, 05/08/06-08/08/06, Vol. 4092, Jérôme Lang, Fangzhen Lin, Ju Wang (Eds.), Springer, LNCS, pp. 292-304, 2006.
Philippe Besnard, Anthony Hunter
Compilation for Efficient Logical Argumentation
In : International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Lake District, United Kingdom, 02/06/06-05/06/06, Patrick Doherty, John Mylopoulos, Christopher Welty (Eds.), AAAI Press, pp. 123-133, 2006.
Philippe Besnard, Jérôme Lang, Pierre Marquis
Variable Forgetting in Preference Relations over Propositional Domains
In : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 29/08/06-01/09/06, G. Brewka, S. Coradeschi, A. Perini, P. Traverso (Eds.), IOS Press, pp. 763-764, 2006.
Philippe Besnard, Marie-Odile Cordier, Yves Moinard
Configurations for Inference from Causal Statements: Preliminary Report
In : 9th Congress of the Italian Association for Artificial Intelligence, Milan, Italy, 21/01/05-23/09/05, Vol. 3673, Stefania Bandini, Sara Manzoni (Eds.), Springer, LNCS, pp. 282-285, 2005.
Remedying Inconsistent Sets of Premises
In : 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Barcelona, Spain, 06/07/05-08/07/05, Vol. 3571, Lluis Godo (Eds.), Springer, LNCS, pp. 427-439, 2005.
Philippe Besnard, Anthony Hunter
Practical First-Order Argumentation
In : 20th National Conference on Artificial Intelligence, Pittsburgh (PA), USA, 09/07/05-13/07/05, Manuela Veloso, Subbarao Kambhampati (Eds.), AAAI Press, pp. 590-595, 2005.
Philippe Besnard, Jérôme Lang, Pierre Marquis
Variable forgetting in preference relations over propositional domains
In : Proc. of Multidisciplinary IJCAI’05 Workshop on Advances in Preference Handling, Edinburg, Scotland, 31/07/05-01/08/05.
Sebastian Schaffert, Francois Bry, Philippe Besnard, Hendrik Decker, Stephan Decker, Carlos Enguix, Andreas Herzig
Paraconsistent reasoning for the semantic web (position paper)
In : ISWC Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Galway, Ireland, 07/11/05, Ken Laskey (Eds.).
Accounts of Absurdity in Paraconsistent Logics
In : Advances in Intelligent Systems: Theory and Applications, Luxembourg, 15/11/04-18/11/04, IEEE, November 2004.
Philippe Besnard, Sylvie Doutre
Checking the acceptability of a set of arguments
In : Proc. 10th Int. Workshop on Non-Monotonic Reasoning (NMR’2004), Whistler, Canada, 06/06/04-08/06/04.
Philippe Besnard, Sylvie Doutre
Characterization of semantics for argument systems
In : International Conference on Principles of Knowledge Representation and Reasoning (KR 2004), Whistler, Canada, 02/06/04-05/06/04, Didier Dubois, Chris Welty, Mary-Anne Williams (Eds.), AAAI Press, pp. 183-193, June 2004.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Paraconsistent Logics for Reasoning via Quantified Booelan Formulas II: Circumscribing Inconsistent Theories
In : 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003), Aalborg, Denmark, 02/07/03-05/07/03, Thomas Nielsen, Nevin Zhang (Eds.), Springer, pp. 528-539, July 2003.
Modal (Logic) Paraconsistency
In : 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU-2003), Aalborg, Denmark, 02/07/03-05/07/03, Thomas Nielsen, Nevin Zhang (Eds.), Springer, pp. 540-551, July 2003.
Philippe Besnard, Robert Mercer, Torsten Schaub
Optimality Theory through Default Logic
In : 26th German Conference on Artificial Intelligence, Hamburg, 15/09/03-18/09/03, Andreas Gunter, Rudolf Kruse, Bernd Neumann (Eds.), Springer, pp. 93-104, September 2003.
Philippe Besnard, Sylvie Doutre
Vérifier l’acceptabilité d’ensembles d’arguments
In : Journées Nationales sur les Modèles de Raisonnement (JNMR’03), Paris, 27/11/03-28/11/03.
Abstract URL : http://www.cril.univ-artois.fr/~marquis/JNMR03/besnard-doutre.ps.gz
BibTeXPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Paraconsistent Reasoning via Quantified Boolean Formulas I: Axiomatising Signed Systems
In : Paraconsistent Computational Logic Workshop – part of Federated Logic Conference (FLoC-2002), Roskilde, Denmark, 27/07/02-28/07/02, Hendrik Decker, Jorgen Villadsen, Toshiharu Waragai (Eds.).
Philippe Besnard, Robert Mercer, Torsten Schaub
Optimality Theory through Default Logic
In : 9th Workshop on Non-Monotonic Reasoning (NMR-2002), Toulouse, France, 19/04/02-21/04/02, Salem Benferhat, Enrico Giunchiglia (Eds.).
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Paraconsistent Reasoning via Quantified Boolean Formulas I: Axiomatising Signed Systems
In : 8th European Conference on Logics in Artificial Intelligence (JELIA-2002), Cosenza, Italy, 23/09/02-26/09/02, Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni (Eds.), Springer, pp. 320-331, September 2002.
Paraconsistent reasoning as an analytical tool
In : 3rd Int. Conference on Formal and Applied Practical Reasoning (FAPR 2000), London, U.K., 18/09/00-20/09/00.
Philippe Besnard, Torsten Schaub
Significant inferences: Preliminary report
In : 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-2000), Breckenridge, CO, USA, Morgan Kaufmann, pp. 401-410, April 2000.
Philippe Besnard, Marie-Odile Cordier
Inferring causal explanations
In : 5th European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty (ECSQARU 1999), London, U.K., LNAI 1638, Springer, pp. 55-67, July 1999.
Philippe Besnard, Torsten Schaub
Circumscribing Inconsistency
In : 15th Int. Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japan, Morgan Kaufmann, pp. 150-155, August 1997.
Salem Benferhat, Philippe Besnard, Laurence Cholvy, Robert Demolombe, Didier Dubois, Olivier Gasquet, Jean-Louis Golmard, Andreas Herzig, Pierre Marquis, Yves Moinard, Henri Prade, Camilla Schwind
Lois, structures et dépendances
In : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, pp. 145-160, March 1997.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Laurence Cholvy, Luis Fariñas del Cerro, Christine Froidevaux, François Lévy, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Révision de bases de connaissances
In : Actes des 4èmes Journées Nationales du PRC_GDR Intelligence artificielle, Marseille, France, 19/10/92-21/10/92, Teknea, pp. 207-238, 1992.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Inférences non-classiques en intelligence articielle. Ebauche de comparaisons sur un exemple
In : Actes 2èmes Journées Nationales du P.R.C – G.R.E.C.O. Intelligence articielle, toulouse, 14/03/88-15/03/88, Teknea, pp. 137-230, 1988.
Philippe Besnard, Eric Grégoire, Sébastien Ramon
A Glance at Preemption Operators
In : Trends in Belief Revision and Argumentation Dynamics. Eduardo Ferme, Dov Gabbay, Guillermo Simari (Eds.) , College Publications, pp. 183-193, Vol. 48, Studies in Logic, 2013.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Representing Paraconsistent Reasoning via Quantified Propositional Logic
In : Inconsistency Tolerance. Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (Eds.) , Springer, pp. 84-118, Vol. 3300, LNCS, 2005.
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
Quantified Propositional Formulas for Paraconsistency
In : Inconsistency Tolerance. Leopoldo Bertossi, Anthony Hunter, Torsten Schaub (Eds.) , Springer, pp. 20-42, 2004.
Graded paraconsistency
In : Frontiers in Paraconsistent Logic. Diderik Batens, Chris Mortensen, Graham Priest, Jean-Paul Van Bendegem (Eds.) , Research Studies Press, Baldock, Hertfordshire, England, pp. 75-94, 2000.
Philippe Besnard, Anthony Hunter
Elements of Argumentation, The MIT Press, June 2008.
Philippe Besnard, Anthony Hunter
Reasoning with Actual and Potential Contradictions
, Kluwer Academic Publishers, Vol. II, 1998.
Philippe Besnard, Laurence Cholvy, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, François Lévy, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Revision and Updating in Knowledge Bases, Wiley, 1994.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Reasoning under incomplete informatin in artificial intelligence: A comparison of formalisms using a single example, Wiley, 1990.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Raisonnement sur des informations incomplètes en Intelligence Artificielle – Comparaison de formalismes sur un exemple, Teknea, 1989.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Laurence Cholvy, Luis Fariñas del Cerro, Christine Froidevaux, François Lévy, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Informations incomplètes-Informations contradictoires – Raisonnement plausible et révision de croyances
Diffusion scientifique. 1993. Courrier du CNRS, Numéro Spécial “Informatique”, N°80, pp 68-69